Applications du calcul formel à la balistique
نویسندگان
چکیده
This paper gives an overview of various forms of the differential equations of exterior, interior and terminal ballistics, as well as a presentation of the problems they induce in computer algebra. Some of these problems have been investigated at ISL (French-German Institute of Saint-Louis): through the quasi-monomial transforms (QMT) of Brenig, for the ordinary differential equations (ODE’s) of exterior ballistics that have been implemented in REDUCE and led to numerical applications, _ asymptotic expansions of solutions of the ordinary differential equations in the “Winter thermodynamic” model of interior ballistics. In the prospects, we quote the application of the quasi monomial transform for solving ordinary differential equations, resulting of a separation of variables (by consideration of symmetry groups) of the partial differential equations of interior and terminal ballistics (with a first application concerning nuclear explosions).
منابع مشابه
Chapitre 1 DE L ’ ALGÈBRE LINÉAIRE À LA RÉSOLUTION DES
Ce chapitre traite de la résolution des systèmes d’équations polynomiales et fait suite au chapitre 4 du tome Mathématiques L2, Pearson Education, 2007, qui introduisait certains algorithmes fondamentaux du calcul formel. Même si le champ des problématiques abordées par le calcul formel est bien plus vaste que la résolution des systèmes polynomiaux, cette dernière problématique occupe une place...
متن کاملCalcul parallèle du polynôme minimal entier avec Athapascan-1 et Linbox
Une brique essentielle du calcul formel est le calcul du polynôme minimal d’une matrice creuse entière. Nous montrons, en analysant les performances pratiques de la parallélisation de cet exemple, l’adéquation du modèle de programmation parallèle Athapascan-1 [11, 6] avec un traitement portable et efficace de grands problèmes fondamentaux du calcul formel. En outre, cet algorithme a permis un p...
متن کاملUn exemple d'utilisation du calcul formel sur ordinateur : méthode générale de localisation des racines d'une équation algébrique à coefficients complexes
L’accès aux archives de la revue « Revue française d’automatique informatique recherche opérationnelle. Mathématique » implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyr...
متن کاملApplications of the Quillen-Suslin theorem to multidimensional systems theory
The purpose of this paper is to give four new applications of the Quillen-Suslin theorem to mathematical systems theory. Using a constructive version of the Quillen-Suslin theorem, also known as Serre’s conjecture, we show how to effectively compute flat outputs and injective parametrizations of flat multidimensional linear systems. We prove that a flat multidimensional linear system is algebra...
متن کاملUne justification partielle du modèle de plaque en flexion par Γ - convergence
Résumé. On considère un solide tridimensionnel cylindrique formé d’un matériau de Saint Venant– Kirchhoff dont on fait tendre l’épaisseur vers zéro. Après changement d’échelle, les quasiminimiseurs de l’énergie élastique convergent vers des minimiseurs de la Γ-limite de l’énergie tridimensionnelle. Pour des forces volumiques de l’ordre de grandeur du carré de l’épaisseur, quitte à effectuer des...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 187 شماره
صفحات -
تاریخ انتشار 1997